Compiling dyadic first-order specifications into map algebra
نویسندگان
چکیده
منابع مشابه
Compiling dyadic first-order specifications into map algebra
Two techniques are designed for eliminating quantifiers from an existentially quantified conjunction of dyadic literals, in terms of the operators ◦, ∩, and −1 of the Tarski-ChinGivant formalism of relations. The use of such techniques is illustrated through increasingly challenging examples, and their algorithmic complexity is assessed.
متن کاملFinally, the Paper on Compiling Dyadic First-order Speciÿcations into Map Alge- Bra By
The papers in this issue are revised and extended versions of communications presented at the Second International AMAST Workshop on Algebraic Methods in Language Processing (AMiLP ’00), held at the University of Iowa, Iowa City, USA, 20–22 May 2000. Like the 2rst workshop, that was held in 1995 at the University of Twente, Enschede, the Netherlands, the workshop was organized in the framework ...
متن کاملCompiling Problem Specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, which allows the definition of complex problems in a highly declarative way, and whose expressive power is such as to capture all problems which belong to the complexity class NP. The target SAT instance is solved using a...
متن کاملCompiling ER Specifications into Declarative Programs
This paper proposes an environment to support high-level database programming in a declarative programming language. In order to ensure safe database updates, all access and update operations related to the database are generated from high-level descriptions in the entityrelationship (ER) model. We propose a representation of ER diagrams in the declarative language Curry so that they can be con...
متن کاملCompiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud
Currently, there are important limitations in the abstractions that support creating and managing services in a cloud-based IT system. As a result, cloud users must choose between managing the low-level details of their cloud services directly (as in IaaS), which is time-consuming and error-prone, and turning over significant parts of this management to their cloud provider (in SaaS or PaaS), w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00355-3